MGI:3034099 http://identifiers.org/mgd/MGI:3034099 targeted mutation 1.1, Guido Verhoeven ARKO Ar<tm1.1Verh> Null/knockout